1. Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
پدیدآورنده : David Basin, Michael Rusinowitch )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3097